xen/arm: flush icache as well when XEN_DOMCTL_cacheflush is issued
authorTamas K Lengyel <tamas.lengyel@zentific.com>
Fri, 27 Jan 2017 18:25:23 +0000 (11:25 -0700)
committerStefano Stabellini <sstabellini@kernel.org>
Thu, 16 Mar 2017 20:56:37 +0000 (13:56 -0700)
commit07f9ddfc9abe9d25288168dfe3c4b830b416f33b
treec46f7558a580ea7ffbf5f1770e589085885b0dc5
parentd31d0cd810b038f4711553d07b26aee6f4b80934
xen/arm: flush icache as well when XEN_DOMCTL_cacheflush is issued

When the toolstack modifies memory of a running ARM VM it may happen
that the underlying memory of a current vCPU PC is changed. Without
flushing the icache the vCPU may continue executing stale instructions.

Also expose the xc_domain_cacheflush through xenctrl.h.

Signed-off-by: Tamas K Lengyel <tamas.lengyel@zentific.com>
Acked-by: Wei Liu <wei.liu2@citrix.com>
Reviewed-by: Stefano Stabellini <sstabellini@kernel.org>
tools/libxc/include/xenctrl.h
tools/libxc/xc_domain.c
tools/libxc/xc_private.h
xen/arch/arm/mm.c